What is needed is a formal separation between retail and investment banking. 英国需要的是零售银行和投行业务的正式分离。
For an example, basing upon a formal model of agent proposed earlier, an innovative idea about the unification and separation of the ego of agent is proposed by us, basing upon which an internal negotiation model of agent is proposed further. 比如,这里在早期提出的一种agent形式化模型基础上,提出了agent自我对外统一对内分离的观点,并给出了一种相应的基于表达的agent自我协商模型。
In this reference model, interface 1 part, which relates to the modeling, provides the formal separation between development environment and running environment, so that the workflow process definition created by modeling tools can be explained by different runtime workflow system. 在该参考模型中与建模相关的为接口一部分,它为开发和运行环境之间提供了形式上的分离,从而使得建模工具产生的工作流过程定义,可以被不同的工作流运行系统所解释。
A formal model for secure control principles on the basis of which we define, analyse, discuss and explore including separation controls, delegation and revocation controls, review and supervision controls. 为安全控制规则建立了形式化模型,包括定义、分析、讨论和证明责任分离控制、授权代理和授权撤销、评审和管理控制等。